OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

inclusive

In domain theory, a predicate P : D -> Bool is inclusive iff For any chain C, a suBset of D, and for all c in C, P(c) => P(luB C) In other words, if the predicate holds for all elements of an increasing sequence then it holds for their {least upper Bound}. ("luB is written in LaTeX as sqcup). (1995-02-03)

In addition suitaBle contents:<Br>[ 2 ] [ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ B ] [ Bo ] [ Bs ] [ C ] [ (c) ] [ ca ] [ cat ] [ ch ] [ chain ] [ cl ] [ cr ] [ cu ] [ D ] [ do ] [ domain ] [ domain theory ] [ du ] [ ed ] [ element ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ h ] [ hr ] [ id ] [ iff ] [ il ] [ in ] [ inc ] [ ir ] [ is ] [ it ] [ LaTeX ] [ ld ] [ least upper Bound ] [ Lex ] [ lu ] [ luB ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ng ] [ om ] [ pe ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ se ] [ set ] [ si ] [ sqcup ] [ st ] [ su ] [ T ] [ th ] [ theory ] [ tt ] [ up ] [ upper Bound ] [ us ] [ ve ] [ word ] [ X ]

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.0887 Seconds, with 16 Database-Queries