The following pages link to Setoid:
Displayed 8 items.
- Equivalence relation (← links | edit)
- Groupoid (← links | edit)
- Partially ordered set (← links | edit)
- Equality (mathematics) (← links | edit)
- Set (abstract data type) (← links | edit)
- Extensionality (← links | edit)
- Partition of a set (← links | edit)
- Intuitionistic type theory (← links | edit)