Definition:Unital Algebra over Ring