As a generalization of a subtraction homomorphism, the
notion of a relation on subtraction algebras, called an
$SA$-relation, is introduced. Some fundamental properties to
subtraction algebras are discussed.