for P being set
for m1, m2, m being marking of P st m c= m1 & m1 c= m2 holds
m1 - m c= m2 - m