  Note that this does not entail that universal properties are extensionally individuated or equivalent to classes, as some have maintained. It shows only that corresponding to each class, there is at most one universal. Although, within the domain of universals, a universal is uniquely determined by its extension, the distinction between a universal and a co-extensive imposed property (e.g. pothood and conch-shell-like-neck-hood) is an intensional distinction.