解域的具体化