Kebebasan aljabar itu apa sih?

Di dalam aljabar abstrak, suatu himpunan bagian S dari suatu medan L dikatakan bebas aljabar pada suatu medan bagian K jika unsur-unsur S tidak memenuhi sembarang persamaan polinom tak-trivial yang berkoefisien di lingkup K.

Secara khusus, suatu himpunan berunsur satu {α} dikatakan bebas aljabar pada K jika dan hanya jika α transenden pada K. Secara umum, suatu unsur dari suatu himpunan bebas aljabar S pada K dikatakan transenden (berdasarkan syarat perlu) pada K, dan pada semua perluasan medan pada K yang dibangkitkan oleh unsur-unsur S lainnya.