En particular que la reunión e intersección son asociativas, conmutativas, idempotentes y distributivas una respecto a la otra.