Judging from the meaning of the question, there are two kinds of statements:

Female: A→C

g:B→D

Let h: a× b→ c× d.

That's h (

It can be proved to be a single lens and a full lens.

So h has bijectivity.

So A×B≈C×D