Transitive closure
Function
FO
Binary relation
Constructible universe
Recursion
Transitivity
Mathematics
Mathematical logic
Well-founded relation