Властивості бінарних відношень