Si cada elemento de un conjunto lo es de otro conjunto , y cada elemento de a su vez lo es de otro conjunto , entonces cada miembro de pertenece también a , o sea: