Set/Definition by Predicate/Examples