Structures · Order
IsPartialOrder
IsPartialOrder X r means that the binary relation r on X is a partial order, that is,
IsPreorder X r and Std.Antisymm r.
- Defined in
- Mathlib.Order.Defs.Unbundled
- Shape
- 2 explicit arguments
Extends2
Extended by1
Concrete types that are instances4
- Ordinal
- Graph
- List
- Set
How is a type an instance?
Loading the hierarchy index…