landegmei lujvo

m1 is a mass of set m2 with an even number of members m3

see also xirdegmei


In notes:

xirdegmei
m1 is a mass of set m2 with an odd number of members m3