A-Algebra

Let \(A\) be a commutative ring and \((B, \iota)\) a pair consisting of a commutative ring \(B\) and a Ringhomomorphism \(\varphi: A \rightarrow B\). Then \(B\) is an $A$-Algebra

Note that \(\varphi\) doesn't have to be a monomorphism