Database
BASIC ORDER THEORY
Preordered sets and directed sets
cdrs
Next ⟩
df-proset
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cdrs
Description:
Extend class notation with the class of all directed sets.
Ref
Expression
Assertion
cdrs
class Dirset