Let NPred be a binary predicate on

Let NPred be a binary predicate on D which is reflexive and symmetric

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

ให้ NPred เป็นเพรดิเคตการไบนารีบน D ซึ่งจะสะท้อนกลับ และสมมาตร

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

ให้ NPred เป็นกริยาไบนารี D ซึ่งเป็นสะท้อนและสมมาตร

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

ให้ npred เป็นภาคแสดงไบนารีใน D ซึ่งเป็นสมมาตรสะท้อนและ