De manera similar se puede demostrar que formula_53, que formula_54 o que formula_55 (en este caso el propio conjunto es su interior).