sentence1: a more general notion called proximity relation was introduced in by omitting the transitivity axiom .
sentence2: a more general notion called proximity relation has been defined in by omitting the transitivity axiom .