b, A da tanımlı bir bağıntı olsun. 1. Yansıma Özeliği A kümesinin bütün x elemanları için (x, x) Îb ise, b yansıyandır. "x Î A için, (x, x) Îb ise, b yansıyandır. (" : Her) 2. Simetri Özeliği b bağıntısının bütün (x, y) elemanları için (y, x) Îb ise, b simetriktir. "(x, y) Îb için (y, x) Îb ise, b simetriktir. 3. Ters Simetri Özeliği b bağıntısı A kümesinde tanımlı olsun. x ¹ y iken "(x, y) Îb için (y, x) Ïb ise, b ters simetriktir. 4. Geçişme Özeliği b, A da tanımlı bir bağıntı olsun. "[(x, y) Îb ve (y, z) Îb] için (x, z) Îb ise, b bağıntısının geçişme özeliği vardır.
Ü |
b bağıntısı simetrik ise b = b–1 dir. |
Ü |
s(A) = n olmak üzere, A kümesinde tanımlanabilecek simetrik bağıntı sayısı dir. |
Ü |
s(A) = n olmak üzere, A kümesinde tanımlanabilecek yansıyan bağıntı sayısı dir. |
b bağıntısında (x, x) elemanın bulunması ters simetri özeliğini bozmaz. |
Boş kümeden farklı bir A kümesinde tanımlanan b = Æ bağıntısında yansıma özeliği yoktur. Simetri, Ters simetri, geçişme özeliği vardır. |