👉 A characterizable object is one that can be described by a finite set of properties. These properties are either universally quantified or universally negated, and they involve at least one existential quantifier. A property is considered to be universally quantified if it is true for all elements in its domain. Properties involving negation are also considered characterizable, as the negation of a property can be used to define another property that is independent of the original property.
