Union of Images

• Union of Images #Card
  • For a family $\mathcal{A}$ of subsets of $X$: $$R\left(\bigcup \mathcal{A}\right) = \bigcup_{A \in \mathcal{A}} RA$$

Back

For a family $\mathcal{A}$ of subsets of $X$: $$R\left(\bigcup \mathcal{A}\right) = \bigcup_{A \in \mathcal{A}} RA$$

Lean

Set.image_iUnion / Set.image_union（像は合併を保つ）