What is contradiction in algebra?

There are many ways of interpreting "contradiction" in mathematics. Some meanings are:

• Contradiction as in proof. You attempt to give the counter-proof of the theorem, but the counter-proof fails to work.
• Contradiction as in mathematical logic. If biconditional fails, we include the slash through the double arrows pointing left and right at opposite directions.
• Contradiction as in negation of the clause.