Fabr-ce / lisaTopology

LISA plus added Topology
Apache License 2.0
0 stars 0 forks source link

Proposition 1.1.9 #6

Open jarctan opened 1 week ago

jarctan commented 1 week ago

If $(X, \mathcal{T})$ is a top space s.t. $\forall x \in X, { x } \in \mathcal{T}$, then $\mathcal{T}$ is the discrete topology