If the property of being an object is expressed by a basic predicate of the system, then such a predicate (if it exists) is called a universal predicate, or universal category.
Universal Predicate
Explore with Wolfram|Alpha
References
Curry, H. B. Foundations of Mathematical Logic. New York: Dover, p. 113, 1977.Referenced on Wolfram|Alpha
Universal PredicateCite this as:
Weisstein, Eric W. "Universal Predicate." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/UniversalPredicate.html