An example relation that has not transitivity