===== Open cover =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $\langle X,\mathcal T\rangle$ ... topological space |
| @#FFBB00: definiendum | @#FFBB00: $C$ in it |
| @#AAFFAA: inclusion   | @#AAFFAA: $C$ ... cover(X) |
| @#55EE55: postulate   | @#55EE55: $C\subseteq \mathcal T$ |

-----
-----
=== Subset of ===
[[Cover]]
=== Context ===
[[Topological space]]
=== Requirements* ===
[[Cover]]