Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Ordered
Pair - Ordered pair (Kuratowski definition: {a} and {a,b} as sets).
- Relation
- Finite relation as a set of ordered pairs.
- SetPartition
- Set partition into disjoint non-empty blocks.