LOGIC: The "theory" of membership in these, also called classes, is part of mathematics as well as logic