slovodefinícia
partial order
(foldoc)		partial order
ordering

(Informally, "order", "ordering") A {binary
relation} R that is a pre-order (i.e. it is reflexive (x R
x) and transitive (x R y R z => x R z)) and antisymmetric
(x R y R x => x = y).

The order is partial, rather than total, because there may
exist elements x and y for which neither x R y nor y R x.

In domain theory, if D is a set of values including the
undefined value (bottom) then we can define a partial
ordering relation
podobné slovodefinícia
complete partial ordering
(foldoc)		complete partial ordering
cpo

(cpo) A partial ordering of a set under a
relation, where all directed subsets have a {least upper
bound}. A cpo is usually defined to include a least element,
bottom (David Schmidt calls this a pointed cpo). A cpo
which is algebraic and boundedly complete is a (Scott)
domain.

(1994-11-30)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4