 An inequation \(M\triangleright N\) is valid if \(v(M)\subseteq v(N)\) under all valuations on frames for \(\text{CL}_\triangleright\). (That is, the relationship  between the interpretations of the two terms is invariant whenever \(v\) is varied on the set of variables.)