Definition of Devisor