Sets, membership, and logic

Read set-builder notation as a typed logical filter over a candidate domain.

Which values are candidates, and which proposition decides membership?

Assign a provisional mathematical type to each important object.

Check whether the operation is valid for the stated types and shapes.

Use a type or shape mismatch to locate a reading error.