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