That is, for every two states p1 and p2 that belong to the same equivalence class within the partition P, and every input word w, the transitions determined by w should always take states p1 and p2 to equal states, states that both accept, or states that both reject.
بمعنى أنه بالنسبة لكل حالتين p1 و p2 ينتمون إلى نفس فئة التكافؤ داخل القسم P ، وكل كلمة إدخال w ، يجب أن تأخذ التحولات المحددة بواسطة w دائمًا الحالات p1 و p2 إلى حالات متساوية ، ينص على قبول كليهما ، أو ينص على رفض كليهما.