nieskończenie wiele nieskończonych klas abstrakcji 🥨 ite: W odpowiedzi do zadania https://matematyka.pl/286103.htm mam wątpliwość, czy dobrze rozumiem tę część dotyczącą nieskończonych klas abstrakcji. Czy te klasy są konstruowane tak: [2]={2^a; a∊N₊}, [3]={3^a; a∊N₊}, [5]={5^a; a∊N₊}, [7]={7^a; a∊N₊},... [6]={2^a*3^b; a,b∊N₊}, [10]={2^a*5^b; a,b∊N₊},..., [15]={3^a*5^b; a,b∊N₊}, [21]={3^a*7^b; a,b∊N₊}... [30]={2^a*3^b*5^c; a,b,c∊N₊}, [42]={2^a*3^b*7^c; a,b,c∊N₊},...

Adamm: nie

Adamm: tfu, tak

Adamm: ogólnie jeśli x = p₁^a₁*...*p_n^a_n to [x] = {p₁^b₁*...*p_n^b_n : b₁, ..., b_n − liczby dodatnie całkowite}

Adamm: p₁, ... − różne liczby pierwsze

Adamm: Można też np. zrobić tak. Konstruujemy relację w R (n, n+1) dla n całkowitych oraz {n} to klasy abstrakcji

Adamm: wystarczy podać klasy abstrakcji żeby zdefiniować relację

Adamm: A jak chcesz dwuelementowe, to np. {2n, 2n+1} zamiast {n}

ite: dziękuję za cierpliwe wyjaśnienia : )