orthogonal group O(n)

GPTKB entity