Definition, synonyms and related words
Both left equivalent and right equivalent; Having the property that there exists a pair of mappings M₁ (A->B) and M₂ (B->A) such that M₁M₂(A) is equivalent to applying the unity operator to A and M₂ M₁(B) is equivalent to applying the unity operator to B.