Definition of Ensemble