isClosedSubgroupOf
P63684
predicate
Indicates that one group is a subgroup of another and is closed in the topological sense within that larger group.
Sample triples (2)
| Subject | Object |
|---|---|
| E(n) | affine group of R^n ⓘ |
|
special orthogonal group SO(n)
surface form:
SO(n)
|
GL(n,ℝ) NERFINISHED ⓘ |