部分超實數解(partial hyperreal solution)超實數解集的子集.設T是一組公式，其變元為x，，x:，…，x*，…，x，.超實數構成的k元組(CC}}CZ}...}Ck}稱為T的部分超實數解，如果它可以擴展為T的超實數解(:，rC2，一C
