Definition (∀x∈U⊂X, ∃B∈B s.t. x∈B⊂U)⇒U∈T A Topology can be uniquely generated by a basis B Facts T={⋃α∈JBα∣Bα∈B} Every Open Set U∈T of the generated Topology T can be expressed as a union of base elements Bα∈B.
