https://math.stackexchange.com/questions/1631396/what-is-the-difference-between-disjoint-union-and-union