Definition:Infix Notation (Binary Relation)