Sifat komutatif itu apa sih?

Dalam matematika, suatu operasi biner memiliki sifat komutatif jika mengubah urutan operan tidak mengubah hasilnya. Ini adalah sifat fundamental dari banyak operasi biner, dan banyak pembuktian matematika bergantung pada sifat ini. Sifat ini paling dikenal sebagai nama sifat yang mengatakan  atau . Sifat ini juga dapat digunakan dalam situasi yang lebih rumit. Nama ini diperlukan karena ada operasi, seperti pembagian dan pengurangan, yang tidak memilikinya (misalnya, ); operasi semacam itu tidak bersifat komutatif, dan demikian disebut sebagai operasi nonkomutatif. Gagasan bahwa operasi sederhana, seperti perkalian dan penjumlahan bilangan, bersifat komutatif telah diasumsikan secara implisit selama bertahun-tahun. Dengan demikian, properti ini tidak dinamai sampai abad ke-19, ketika matematika mulai menjadi formal. Sifat yang terkait ada untuk relasi biner; suatu relasi biner dikatakan simetris jika relasi berlaku terlepas dari urutan operannya; misalnya, kesamaan bersifat simetris karena dua objek matematika yang sama adalah sama terlepas dari urutannya.