A set is a collection of objects, both individuals and sets of various sorts. It is a KIF primitive.