שינויים

הגדרתו פשוטה (נובעת משמו..) והיא מוגדרת ע"י קשר הגרירה החד כיווני.

<math>A\iff B := (A\Rightarrow B)\and(B\Rightarrow A)</math>

בנוסף, לקשרים ניתן להוסיף כמתים.