statistical ensemble subgroup of ensemble, 1 assertions