Concept
Equivalence relation
Overview
reflexive, symmetric and transitive relation
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Garrett Birkhoff
- Bas van Fraassen
- Integer
- If and only if
- Law of excluded middle
- Function (mathematics)
- Mathematics
- Model theory
- Reflexive relation
- Constructivism (philosophy of mathematics)
- Natural number
- Partially ordered set
- Subset
- Total order
- Topological space
- Saunders Mac Lane
- Partition of a set
- Singleton (mathematics)
- Infimum and supremum
- Bijection
- Union (set theory)
- Domain of a function
- Map (mathematics)
Place in the tradition
Part of Epistemic modal logic.