Considere A es una relación definida en R (números reales) donde A={(a,b):|a−b|<4,a,b∈R} . Demostrar/desmentir A es transitivo.
Sé que si |a−b|<4 y |b−c|<4 entonces, |a−c|<4 A es transitiva. ¿Puedo demostrarlo directamente con algún contraejemplo como para a=6 , b=3 y c=1 esta relación no es transitiva porque |6−1|>4 .
¿Es esto adecuado para probar o refutar cuestiones de relaciones?