例えば、有理数体のすべての代数拡大(特に有限次拡大)は分離的である。