I think the definition I read of cofinal says there must always be an element of the subset which is greater than any given element. The odd numbers have this property, so they're cofinal, right?
Assuming that's correct, what do we call the property the positive integers have, in that there is always one above and never one of their complement above one of them?