En esta reducción la operación de unión disjunta la convierte en una categoría monoidal.