Database
BASIC ORDER THEORY
Partially ordered sets (posets)
cmee
Next ⟩
df-poset
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmee
Description:
Extend class notation with poset meet.
Ref
Expression
Assertion
cmee
class
meet