Discusión:Clausura transitiva

--Yasim (discusión) 20:22 29 nov 2009 (UTC)

¿Qué es más pequeña?

El artículo dice "de una relación binaria es la relación binaria más pequeña que siendo transitiva contiene" ¿Qué significa más pequeña?

De todas las relaciones ${\mathcal {R}}_{i},\ i>0$ transitivas que contienen a una determinada relación ${\mathcal {R}}_{0}$ es la que es "menor" respecto a la inclusón: ${\mathcal {R}}_{0}\supseteq {\mathcal {R}}_{m}\supseteq {\mathcal {R}}_{i},i\neq m$, Davius (discusión) 22:24 29 nov 2009 (UTC)