19.2.5 Element-and-Set Membership
Core ideaTo say whether something is in the circle: write a∈A if it's in, a∉A if it's not.
Module goal. Master listing and rule-based notation, switching freely between "naming members one by one" and "stating one rule"