普通多依一类之名之外延，称共类为高类，别类为低类。但我们亦可依一类之名之内涵，称共类为低类，别类为高类，依内涵说，猫类或狗类之有，无论在实际方面，或在真际方面，均涵蕴动物之有。但动物之有，无论在实际方面，或在真际方面，均不涵蕴猫或狗之有。有猫或狗，则必有动物，但有动物，不必有猫或狗。依此观点，我们说，猫类或狗类是高类，动物类是低类。
所谓真际，可以从类之观点看，亦可从全之观点看。关于全，下文详说。今先说，若从类之观点，以看真际，则真际是一大共名，其类是一大共类，亦即是一分子最多之类。依本书所谓真际之意义，凡可称为有者皆属真际。故其类包括一切。
有亦是一大共名，其类亦是一大共类，亦即是一分子最多之类。有之观念为道家所常用。不过道家仅说及实际，其所谓有，系指一件一件底实际底事物而言，亦或指实际而言。但我们不妨用之以指一切底有。
无亦是道所常用之观念。不过先秦道家，如《老》《庄》，所谓无，系指其所谓道。依他们的所见，一件一件底实际底事物是有；道不是一件一件底实际底事物，所以称为无。其所以称为无，乃所以别于他们所谓有，并不是真正底无。惟郭象所说有，并不是指一件一件底实际底事物，而是指实际，其所谓无，亦是真正底无。郭象说：“非惟无不得化而为有也，有亦不得化而为无矣。是以有之为物，虽千变万化，而不得一为无也。”（《〈庄子·知北游〉注》）由此可知，其所谓有，并非一件一件底事物之有，而是有，亦即是实际。其所谓无，亦系真正底无。不过郭象亦只讲及实际，而未及真际。其所谓无亦系与实际底有相对者。照我们的看法，从理之方面说，可以说是无无。真际有有之理而无无之理。所谓无者，即不有或非有，乃是与有相对之负观念，正如非方乃与方相对之负观念。就我们的知识说，负观念因正观念而起，但就真际方面说，则只有与正观念相应之理，而并无与负观念相应之理。例如非方之观念，乃因方之观念而起，但真际只有方之理，而并无非方之理。