Many-one reduction
A≤mB means a total computable map f satisfies x∈A exactly when f(x)∈B for every x.
atlas-many-one-reduction · canonical_mko
Many-one reduction
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data