What is the Cartesian Product and how is it denoted? Explain with an example of mathbbZ_2 times mathbbZ_4. Also, determine the order of the group and whether it is cyclic or not. If we consider addition, how would we find the elements of the group?