Database
BASIC ORDER THEORY
Posets, directed sets, and lattices as relations
Directed sets, nets
cdir
Next ⟩
ctail
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdir
Description:
Extend class notation with the class of directed sets.
Ref
Expression
Assertion
cdir
class
DirRel