pub fn is_groupoid(x: u64, a: u64, b: u64) -> u64
Defines a groupoid relation from x to a and b.
x
a
b
