Let $S = \langle 1,3,5,7,9 \rangle$ be a sequence of a numbers. Then let $Q = \{ 1,2,4 \}$ and $R = {1,2,3}$ be two sets of numbers. Then I have a function $exists(Q,S)$ that should return true if there is at least two elements $q \in Q$ such that $q \in S$ (in this case $exists(Q,S) = false$ and $exists(R,S) = true$).
For the at least one statement we can use the notation $if \exists q \ in Q | q \in S$, but what if I need to check if exists at least two elements to validate the statement?
Thank you very much!