Let XXX be a set with binary operation $.Anelement. An element .Anelemente\in X$ is a right identity of XXX if $ax = aforall for all foralla\in A$.
Wikidata ID: Q185813