设G1,G2是R中的开集,且G1包含于G2