# Definition Open sets are elements of the [[Topological Space|topology]] of the space. They have the following properties: 1. The union of infinitely or finitely many open sets is open. 2. The intersection of finitely many open sets is open.