Brenoritvrezorkre
Куда более адекватно передать подобную связь в логике предикатов:
Еx,y(x = "Миша", y = "Вася") : FriendOf(x, y)
Суть в том, что в таком решении мы можем легко определить, например, что такое FriendOf:
FriendOf(x,y) := ...
Также можем указать что-либо в этом духе:
∀x,y : FriendOf(x,y) ≡ FriendOf(y,x).
То есть, указать некоторые утверждения о FriendOf.