The Pell sequences, defined together in mutual recursion.

The Pell x sequence.

The Pell y sequence.

The Pell sequence can also be viewed as an element of ℤ√d

The property of being a solution to the Pell equation, expressed as a property of elements of ℤ√d.