Skizziere die Menge der Paare ( x , y ) ∈ N × N {\displaystyle {}(x,y)\in \mathbb {N} \times \mathbb {N} } , die x ≥ y {\displaystyle {}x\geq y} erfüllen, als Teilmenge der Produktmenge N × N {\displaystyle {}\mathbb {N} \times \mathbb {N} } .