A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal
Instance info
editor note
"definitions", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal.
term editor
Alan Ruttenberg
Instance relations
Types