internal structure subgroup of structure, 3 assertions