probability distribution subgroup of distribution, 3 assertions