>>> M2 > M
True
>>> M2.inclus(M)
True