In mathematics, an equation is a formula of the form A = B, where A and B are expressions that may contain one or several variables called unknowns, and "=" denotes the equality binary relation.

The second one doesn't even apply in most cases. I was sexually molested my entire childhood by my grandfather (mom's side) and when I told my mom: "Nope, you're lying, your father put you up to this". My best friend was raped, and her rapist was friends with one of her friends. When my friend told her: "No, there's no WAY he would do that, he's not that kind of guy"

The properties of antisymmetry and linearity are easily seen to be sufficient for a recursively enumerable binary relation to be recursively isomorphic to a recursive relation. Removing either conditi