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