Definition:Unitary Ring