SeT

A SeT is a collection of objects. For example, one can define the set S = {Sn: Sn is a sibling of Larry Sanger}.

We require that sets be well-defined. Given an object Sn, we must be able to determine if

Sn belongs to S.