حوزهای در £nبا این ویژگی که تابعی تمامریخت بر آن وجود دارد که بهطور تمامریخت قابل گسترش به حوزهای بزرگتر نیست