(a) for ∀x∈U, Sim(x,x) = 1 (reflexiv

(a) for ∀x∈U, Sim(x,x) = 1 (reflexivity), (b) for ∀x,y ∈U, Sim(x,y) = Sim(y,x) (symmetry), (c) for ∀x,y,z ∈ U, Sim(x,z) ≥ maxy(min(Sim(x,y),Sim(y,z))) (transitivity).

Kết quả (Việt) 1:

(a) cho ∀x∈U, Sim(x,x) = 1 (reflexivity), (b) cho ∀x, y ∈U, Sim(x,y) = Sim(y,x) (đối xứng), (c) đối với ∀x, y, z ∈ U, Sim(x,z) ≥ maxy(min(Sim(x,y),Sim(y,z))) (transitivity).

Kết quả (Việt) 2:

(a) cho ∀x∈U, Sim (x, x) = 1 (tái fl exivity), (b) cho ∀x, y ∈U, Sim (x, y) = Sim (y, x) (đối xứng), ( c) cho ∀x, y, z ∈ U, Sim (x, z) ≥ maxy (min (Sim (x, y), Sim (y, z))) (bắc cầu).