isUnitaryGroupOf
P147448
predicate
Indicates that one entity is the unitary group associated with (i.e., consisting of all unitary transformations or matrices defined on) another entity, such as a vector space or Hilbert space.