The logical basis of applications of this kind is that individual concepts may be concepts not only of elements but also of classes, and that they may thus stand to universal concepts not only in a relation corresponding to that of an element to a class, but also in a relation corresponding to that of a sub class to a class.