完備性は、次のような条件