⌘Ctrlk

terms

Relations Binary relation Relations _finitary-rel Relations: Overview Relations Index of relations Binary relations Composition of relations Equivalence class Notation Relation Relations Sets: Summary Aggregation: Sets, Relations, Functions

PreviousWell-foundedness NextRelations