A = { x | x <- A}
A × B = { <x, y> | x <- A, y <- B }
普通に定義できるがwww