Итак, у меня есть следующее:
some sig Person {
friends : set Person
}
fact TransitiveForThree {
one p1, p2, p3 : Person {
p1 in p2.friends && p2 in p3.friends => p1 in p3.friends
}
}
Идея в том, что я хочу, чтобы существовал набор из 3 человек, где все они дружат друг с другом. Однако я бы хотел, чтобы существовал набор, в котором по крайней мере 3 или более людей, которые все являются друзьями. Может кто-нибудь объяснить, как это сделать с Alloy?