Juntos generan la topología usual desde las intersecciones formula_5 para "a" < "b" genera la topología usual.