Def/Cartesian product



=Metadata=