A maximality principle on quasi-ordered quasi-metric spaces, containing, in particular, Altman’s and the Brézis-Browder ordering principles, is given. As an application, a local mapping theorem extending—from a "functional" viewpoint—a similar one due to Altman, is derived.