había olvidado esa notación y la confundí con un "tal que". Aun así no son iguales?
A veces se emplea también está barra, /, para el “tal que” o “cumple”; pero pasa igual, por sí misma puede significar cosas distintas según el sitio donde se escriba.
En el contexto del enunciado que traes no queda mucha duda, porque debajo tienes los conjuntos y se ve lo que significa la relación. Casi literalmente podemos interpretar "Existe “x” relación “y” cuando 4 barra (x-y)"
De entrada, decir “cuatro cumple x-y” ya sonaría un tanto raro. Y cuando debajo te ponen los múltiplos de 4, de 4k+1, etc., pues ya... el significado queda muy claro, pongan esta barra | o ésta /.
Saludos.