An infinite sequence of positive integers is called weakly independent if any relation with or and , except finitely often, implies for all .
An infinite sequence of positive integers is called strongly independent if any relation , with , , or and except finitely often, implies for all .