Обговорення:Арифметична прогресія

Дополнение к статье "Арифметична прогресiя"

$~d\vdash \ \{a,d\}\subseteq \mathbb {R} \ \to \ (\mathrm {P_{a}\ is\ an\ arithmetic\ progression.} \ \leftrightarrow \ \mathrm {P_{a}} =\{\langle n,p_{n}\rangle \in \mathbb {N} \times \mathbb {R} |\quad p_{n}=a+n\cdot d\}\ )$

Примечание

$~\vdash \quad \{\langle n,p_{n}\rangle \in \mathbb {N} \times \mathbb {R} |\quad p_{n}=a+n\cdot d\}\ =\ \{\langle n,p_{n}\rangle |\quad \langle n,p_{n}\rangle \in \mathbb {N} \times \mathbb {R} \quad \land \quad p_{n}=a+n\cdot d\}$

Галактион 23:17, 23 серпня 2009 (UTC)