bugün

k cismi K nın bir alt cismi olduğunda { a | a öğesi K içindedir ve k cismi üzerinde cebirseldir } biçiminde tanımlanan cisim.