← Binary relations and properties Relationship to …