The "traditional" cartesian product---let's denote it ---is usually given by . So the cartesian product of -algebras as given in your post is not the same. Let's denote that by .

So suppose and . Then an element in has the form , and an element in has the form . However, this is no big deal since defines a bijective map.

I'm not sure what the notation is supposed to mean.