Используя свойства двухместных отношений, можно определить отношение эквивалентности, строгого порядка и нестрогого порядка.
Наличие свойств непосредственно является признаком для определения типа отношений.
Отношением эквивалентности называется рефлексивное, симметричное и транзитивное отношение. Отношение эквивалентности содержательно интерпретируется как взаимозаменяемость или одинаковость объектов. Для обозначения эквивалентности используется символ «бесконечность».
Отношение эквивалентности порождает разбиение множества объектов на классы. При этом в каждый класс попадают эквивалентные, т.е. неразличимые по по показателю или группе показателей, объекты.