Definition:Zero (Abstract Algebra)