>>584
例えば、超越数eについて、eと√eは有理数体Q上線型独立だから、
ハメル基底の定義から、e,√e∈H だが、eと√eはQ上代数的従属だから、
超越基底の定義から、e,√e∈S は満たさない。そのあたりが違うんですな。