assume a variable has two possible values
how can I assume that a variable admits only a finite number of possible values? E.g., the variable x can only be 0 or 1. I could assume that
but I am looking whether there is a straightforward way, too.
thanks in advance