Definition:Countable Cartesian Product