MDLD/disjoint union

Start=disjoint union Target=Sets/Operations/Introduction/Section