Space-constructible function