Database
BASIC ORDER THEORY
Posets, directed sets, and lattices as relations
Directed sets, nets
ctail
Next ⟩
df-dir
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ctail
Description:
Extend class notation with the tail function for directed sets.
Ref
Expression
Assertion
ctail
class
tail