« Set Theory
Definition.
Extension of an Element
[002B]
Let
be a set. If
and
then
is an extension of
.