Tolong jelaskan mengenai Sistem koordinat dua dimensi dari Produk Cartesius

Contoh sejarah utama adalah bidang cartesius dalam geometri analitik. Untuk merepresentasikan bentuk geometris dengan cara numerik, dan mengekstrak informasi numerik dari representasi numerik bentuk, René Descartes menetapkan pasangan bilangan real pada setiap titik di bidang, yang disebut koordinat. Biasanya, komponen pasangan pertama dan kedua masing-masing disebut koordinat x dan y (lihat gambar). Himpunan dari semua pasangan seperti itu (yaitu, hasil kali Cartesius , dengan ℝ menunjukkan bilangan riil) dengan demikian ditetapkan ke himpunan semua titik di bidang.

Implementasi paling umum (teori himpunan)

Definisi formal produk Cartesian dari prinsip teori himpunan mengikuti dari definisi pasangan terurut. Definisi paling umum dari pasangan terurut, Definisi Kuratowski adalah . Di bawah ini pada terdapat definisi  adalah elemen dari , dan  adalah bagian dari himpunan itu, di mana  mewakili operator set daya. Oleh karena itu, keberadaan perkalian Cartesius dari dua himpunan manapun di ZFC mengikuti aksioma pemasangan, serikat, himpunan daya, dan spesifikasi. Karena fungsi biasanya didefinisikan sebagai kasus khusus dari hubungan, dan hubungan biasanya didefinisikan sebagai himpunan bagian dari produk Cartesius, definisi dari perkalian dua himpunan Cartesian harus sebelum sebagian besar definisi lainnya.