Noun
autoreducibility (uncountable) (mathematics, set theory) The state or quality of being autoreducible.