describes: a set of equations that cannot all be true simultaneously. [M1.4]
Copyright 1997, The Open University
