Definition 7.1.12. We say that is a finite relation if the set of points that are not alone in their equivalence class is finite.
Original source: arXiv:2009.09627v2
Definition 7.1.12. We say that is a finite relation if the set of points that are not alone in their equivalence class is finite.
Original source: arXiv:2009.09627v2