is: a function such that [M1.6, M4.4, M5.2, P11.2]
is also known as: antisymmetric.
Copyright 1997, The Open University