for Y being non empty set
for PA, PB being a_partition of Y holds PA '\/' (PA '/\' PB) = PA