pub fn is_set(x: u64, a: u64, b: u64) -> u64
Defines a set relation from a set x to potential members a and b.
x
a
b
