En théorie des ensembles, une relation binaire peut avoir, entre autres deux propriétés, la réflexivité et l'irréflexivité.

Une relation binaire est un concept mathématique qui systématise des notions comme " ... est supérieur ou égal à ... " en arithmétique, ou " ... est élément de l’ensemble ... " en théorie des ...