Database
BASIC ORDER THEORY
Posets, directed sets, and lattices as relations
Directed sets, nets
Next ⟩
cdir
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 9.6.2. Directed sets, nets
cdir
ctail
df-dir
df-tail
isdir
reldir
dirdm
dirref
dirtr
dirge
tsrdir