iyi tanımlı işlem 

(Alm. wohldefinierte Operation, f; Fr. opération bien définie, f; İng. well-defined operation) 

mat. A kümesi ve A üzerinde bir ? eşdeğerlik bağıntısı ele alındığında, * A da tanımlanmış bir işlem olmak üzere, A/? eşdeğerlik sınıfları üzerinde [a] · [b] = [a*b] şeklinde tanımlanan ve [a]’dan seçilen a ve [b]’den seçilen b elemanlarına bağlı olmayan · işlemi; diğer bir deyişle, her a, b, c, d için a ? c, b ? d olması durumunda a*b » = c*d eşitliğini sağlayan * işlemi kullanılarak  [a] · [b] = [a*b] formülüyle A/?  üzerinde tanımlanmış olan · işlemi.