Let be a ring with involution , that is, . An element is called a projection if it is self-adjoint () and idempotent (). The projections and are said to be equivalent, written , when exists such that and . Projections are algebraically equivalent if there exist and such that and .