半P-集合（half packet sets）是由内P-集合X^F（internal packet set X^F）与有限普通集合X构成的集合对,或者（X^F,X）是半P-集合,它具有内-......