Definition of "inequation" []

• A statement that two expressions are not the same. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "A more interesting occurrence of a term of the form MM can be seen in the provable inequation"
• "An inequation M ‰¥ N is valid if v (M) Š† v (N) under all valuations on frames for CL ‰¥."
• "An inequation M ‰¥ N is provable in CL ‰¥ if and only if"