Metadata
Author: WikiMatrix
Data
Czech[cs]
Tvrdí, že součet velikostí konečné kolekce disjunktních množin je velikost sjednocení těchto množin.
English[en]
It states that sum of the sizes of a finite collection of pairwise disjoint sets is the size of the union of these sets.