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