Definition:Non-Empty Class