• Útil: https://apunte-lenguajes-logica.netlify.app/1.7-relaciones-binarias

Clausura transitiva $R^+$

El más pequeño…

Clases

• a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share.

Well-order (Orden total con mínimo)

https://math.stackexchange.com/questions/1258838/isnt-every-totally-ordered-set-well-ordered

Ordinal