If ord(G) = ∞, the quotient ord(G) / ord(H) does not make sense.)
ord(G) = ∞ であれば、商 ord(G) / ord(H) は意味をなさない。