离散数学
集合后继
集合 $A$ 的后继 :=
$$ A^{+}=A \cup \left{A\right} $$