denotator type
defined class
Alan Ruttenberg
A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal
"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.