A separation relation is a quaternary relation that can be thought of as a cyclic order without an orientation.
Отношение разделения является кватернарным отношением, которое можно понимать как циклический порядок без ориентации.