Hello. I would like to define the subset S contained in N:={1..n} and that S is not equal to N at the same time and I don´t know how to do it. I've thought define the restriction
subject to not_equal_to_N:
card(S) =! card(N);
so that S is not equal to N.
Can you help me? Thanks !! :)