H bir değişmeli tekçe, A bir birimli aşmaçlı dolam (?)da A nın aşmacını göstermek üzere, (?)nin toplamsal öbek yapışma göre bir aşmaç olacak ve her (?)için (?) koşulu gerçeklenecek biçimde M sol A-doğru-uzaysısı (sağ A-doğra-uzaysısı).
TDK Matematik Terimleri Sözlüğü