ص ) ( ع او س ع ص یعنی ان العنصر سه من سہ يرتبط مع العنصر ص من بالعلاقة ع.  وتكون المجموعة من مجال العلاقة ومجالها المقابل