isMaximalOrderIn
P157320
predicate
Indicates that one structure is a maximal order contained within another, meaning it is an order not properly contained in any larger order inside that ambient structure.
Sample triples (1)
| Subject | Object |
|---|---|
| Hurwitz quaternions | Hamilton quaternions over Q NERFINISHED ⓘ |