"Una relación binaria R sobre un conjunto A, es reflexiva o refleja si todo elemento de A está relacionado consigo mismo mediante R"
4 está relacionado con 4, etc. lo que pasa que aquí no tienes 4|a con a€Z, sino que tienes (x+y) x,y€Z
de todas formas no tengo ganas de mirarlo. k se buske la vida #1 xD