5Step 3a ensures the set contains at least one member.