Usare l'osservazione 5.2: si ha X = Int(S) È Est(S) È Fr(S) (unione disgiunta) per ogni sottoinsieme S di X