Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F426 on D1163: Bottom topology
F426
Formulation 0
Let X be a D11: Set.
A D11: Set TP(X) is a bottom topology on X if and only if T={,X}