iyi tanımlı işlem
-
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.
İngilizce well-defined operationFransızca opération bien définie, fAlmanca wohldefinierte Operation, f