Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F9305 on
D5359: Singleton map
F9305
Formulation 0
Let
X
and
Y
each be a
D11: Set
such that
(i)
{
{
x
}
:
x
∈
X
}
⊆
Y
The
singleton map
from
X
to
Y
is the
D18: Map
X
→
Y
,
x
↦
{
x
}