All relations on a set | binary and homogeneous | math for CS