Definition:Unital Module