So, disjoint union in set theory terms?

If I understand correctly .