Klasy abstrakcji aRb <=> a/b>0 adiidi: Klasy abstrakcji aRb⇔a/b >0 Jak z tego wyznaczyć klasy abstrakcji? czy to jest poprawne: [x]_R:{y∊R: y>0 ∧x/y>0}={x>0} [x}_R:{y∊R: y<0 ∧x/y>0}={x<0}

PW: No ale jak − dla tego samego iksa stwierdzasz, że klasy abstrakcji o reprezentancie x są różne (raz są to liczby ujemne, raz dodatnie)? Domyślam się, że rozumiesz o co idzie, ale zapis jest niezrozumiały. Po prostu słowami napisz: − Dla x > 0 [x] jest zbiorem liczb dodatnich, a dla x < 0 − zbiorem liczb ujemnych. Relacja ma dwie klasy abstrakcji.

adiidi: Super, dzięki