Definition of Mensor