isConservativeOver
P28009
predicate
Indicates that one entity preserves or does not increase a certain property, measure, or effect when applied over or in relation to another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| von Neumann–Bernays–Gödel set theory | Zermelo–Fraenkel set theory → |