proved first implication about the similarity of two definitions of similarity between relations