This implies x / ∈ µt2 and therefor

This implies x / ∈ µt2 and therefore µt2 is a proper subset of µt1 a contradiction.

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

บ่งชี้ x ∈ µt2 และ µt2 เป็น ชุดย่อยของ µt1 เป็นความขัดแย้งที่เหมาะสม

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

นี้มีความหมาย X / ∈μt2และดังนั้นจึงμt2เป็นชุดย่อยที่เหมาะสมของμt1ความขัดแย้ง