companion relation

[ریاضیات] رابطه ی لنگه، رابطه ی همراه