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