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) < α → |