Might be useful to also cover the `superset - subset` operation.