On the relatively smooth subhyperalgebras of hyperalgebras