Disjoint Union

• Disjoint Union #Card
  • Denoted by $\sqcup$. For disjoint sets $A$ and $B$, $A \sqcup B := A \cup B$.

Back

Denoted by $\sqcup$. For disjoint sets $A$ and $B$, $A \sqcup B := A \cup B$.

Lean

直和 α ⊕ β (Sum) / Σ 型