disjoint union

Türkçe: ayrık birleşim

Açıklama: Ayrık birleşim; elemanları etiketli birleşim