Jelaskan Beberapa contohnya adalah: dari Kesamaan

Untuk sembarang bilangan real a, b, dan c, jika a = b, maka a + c = b + c (di sini F(x) adalah x + c);

Untuk sembarang bilangan real a, b, dan c, jika a = b, maka a − c = b − c (di sini F(x) adalah x − c);

Untuk sembarang bilangan real a, b, dan c, jika a = b, maka ac = bc (di sini F(x) adalah xc);

Untuk sembarang bilangan real a, b, dan c, jika a = b dan c bukan nol, maka a/c = b/c (di sini F(x) adalah x/c).

Sifat reflektif: Untuk sembarang kuantitas a, a = a.

Sifat simetris: Untuk sembarang kuantitas a dan b, jika a = b, maka b = a.

Sifat transitif: Untuk sembarang kuantitas a, b, dan c, jika a = b dan b = c, maka a = c.

Tiga sifat yang terakhir menyebabkan kesamaan tergolong sebagai relasi ekuivalensi. Ketiga-tiganya awalnya dimasukkan dalam aksioma Peano untuk bilangan asli. Meskipun sifat simetris dan transitif dianggap fundamental, mereka bisa diturunkan dari sifat substitusi dan refletsif.