Definition of Aleator