Autoreduction's Spaces