title: Multiplicity with Predicates
body: <p>So I have the following:</p>
  
  <pre><code>some sig Person {
      friends : set Person
  }
  
  fact TransitiveForThree {
      one p1, p2, p3 : Person {
          p1 in p2.friends &amp;&amp; p2 in p3.friends =&gt; p1 in p3.friends
      }
  }
  </code></pre>
  
  <p>The idea is that I want there to exist a set of 3 people where they are all friends with each other. However I would like it to be that, there exists a set with <strong>at least 3 or more</strong> people who are all friends. Can someone explain how to do that with Alloy?</p>