Example 9. X and Y are both inverted: imultisets related by inversion <In> belong to the same imultiset-class