Cast the cartesian product operator in a dom operator hierarchy