Zero element/Definition

For binary operations, an element that has one of two properties analoguous to the number zero.