Jest to zbiór punktów p należących do liczb całkowitych zdefiniowany ciągiem o równaniu rekurencyjnym:
