Definition:Negative/Abstract Algebra