... aga: Pokazać, że q jest relacją równoważności i wyznaczyc klasy abstrakcji, jesli: a) xqy <=> 3l(x+2y), b) xqy <=> [x]=[y].

ite: Żeby wykazać, że q jest relacją równoważności sprawdzasz, czy relacja jest zwrotna, symetryczna i przechodnia. a/ zwrotność: czy jest prawdą 3l(x+2x)? x+2x=3x → jest wielokrotnością 3 → relacja jest zwrotna Podobnie pozostałe warunki. b/ zwrotność: czy jest prawdą [x]=[x]? [x]=[x] → relacja jest zwrotna