Definition of Pool