余完備化