rankFunctionCharacterization

P19436 predicate

Indicates that a function is being characterized or defined in terms of its rank, typically specifying how the rank property determines or describes the function’s behavior or classification.


Sample triples (1)
Subject Object
von Neumann universe x ∈ V_α iff rank(x) < α

Please wait…