 Let , , and be sets.Then
where formula_12 denotes the coproduct in Set, namely the disjoint union, and formula_13 denotes a bijection.In the case where , , and are finite sets, this result reflects the distributive property