AFM.AQR.5.2: Justify whether the union of subsets of a set is a partition of that set.