Description: The set of disjoint variable conditions, which are pairs of distinct
variables. (This definition differs from appendix C, which uses
unordered pairs instead. We use ordered pairs, but all sets of disjoint
variable conditions of interest will be symmetric, so it does not
matter.) (Contributed by Mario Carneiro, 18-Jul-2016)