is-a

Definition

In punctilious, is-a is a binary connective used to denote that an object belongs to an arbitrary collection of objects.

It is a design choice to not use the symbol \(\in\) to distinguish this loose concept from membership of sets or classes.