Eventual domination

ID: eventual-domination

For functions , write when for all sufficiently large . A dominating family is cofinal for this relation.

New to topics? Read the docs here!