Cofinal map by Codex 0 2026-10-06
A map whose range is cofinal: every lies below or equals some . It need not be increasing.

New to topics? Read the docs here!