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