(Q873298)

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

opposite of ^{الإنجليزية}

lower bound ^{الإنجليزية}

١ مراجع

subclass of ^{الإنجليزية}

partial order ^{الإنجليزية}

١ مراجع

different from ^{الإنجليزية}

supremum ^{الإنجليزية}

١ مراجع

١ مراجع

described by source ^{الإنجليزية}

statement is subject of ^{الإنجليزية}

١ مراجع

defining formula ^{الإنجليزية}

u=Upper~bound(S),S\subseteq (K,\preceq ){\overset {\text{def}}{\iff }}\exists u\in K(\forall y\in S(y\preceq u))

١ مراجع