total order subgroup of order, 3 assertions