Intuitionistic type theory
article-link
What links here
Setoid
Partition of a set
article-link
Extensionality
article-link
Set (abstract data type)
article-link
Equality (mathematics)
article-link
Partially ordered set
article-link
Groupoid
article-link
Equivalence relation
article-link