Cartesian Product & Relations in Discrete Math