generalized topology

noun

1. a collection of subsets of a set ( X ) that includes the empty set, and is closed under any unions (even infinite ones)