called disjunctive iff for all a, b

called disjunctive iff for all a, b ∈ L,
[a]∗ = [b]∗ implies a = b.

ผลลัพธ์ (ไทย) 1:

เรียกว่า disjunctive iff สำหรับทุก a, b ∈ L∗ [a] = [b] หมายถึง∗การ = b

ผลลัพธ์ (ไทย) 2:

เรียกลักษณะที่แยกออก IFF สำหรับทุกข∈ L,
[] = [b] * หมายถึง b =

ผลลัพธ์ (ไทย) 3:

เรียกว่า IFF ดิซจังทั้ง A , B ∈ L ,
[ ] ∗ = [ B ] ∗บาง = B