containsAsSubstructure
P19432
predicate
Indicates that one structure includes another structure entirely within it as a component or embedded part.
Sample triples (1)
| Subject | Object |
|---|---|
| von Neumann universe | cumulative hierarchy of hereditarily finite sets → |