orthogonal group O(n, R)

GPTKB entity