Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
The basis of our discussion is a classLof elements$a,b,c,\cdots$, two or more in number, together with a binary relation < between pairs of elements ofL. Unless otherwise specified, Axioms I—VI listed below will be assumed.
Axiom I: Order.
I1:a<afor no elementa.
I2:a<b<cimpliesa<c.
Definition 1.1:a>bmeansb<a;a≦bmeansa<bora=b;a≧bmeansb≦a.
Axiom II. Continuity.
II1: For every setS⊂L, there is an elementΣ(S) inL, which is aleast upper boundofS, i.e.