Binary Relation: it's properties and examples