D--预延续偏序集与半D--预延续偏序集.pdf

II 舳咖删 ㈣剃 latticeshastwo of oftheoretical The ofcontinuous backgrounds computer theory aspects andmathematics．Sinceitbirthithasbeen closeattention．Ontheonehand，all science paid taskof istoextendcontinuouslatticestomore orderedstructures． importantinvestigation general Ontheother the ofclassicalcontinuouslatticesanddomainsarebasedon hand，because theory the of itlimitstheresearch．Soresearchesthatuseothercollectionsof investigationdcpos，and subsetsto directedsetstodefinenewcontinuitiesare replace meaningful． This isbasedonthe“classical”subsetselectionDofalldirectedsets．Themain paper contentsofthisdissertationareaslistedfollows I．Inthis we abriefintroduceabout of Chapter part give latticesandsemi—continuousthenrecallthe of projections，semi—continuous dcpo’S，and concept idealsand setsandrelated results． semi—prime semi-prime elementary introducethecut A，and someuseful ofit II．First，we operatorprove properties Chapter relationof ona the Second．wethatthe D-way—below<<‘DD-precontinuousposer，has prove characterizationtheoremfor is interpolationproperty．A D-precontinuousposetsgiven． III．First．a isconstructedtoshowthat秽-continuous Chapter counterexample projection of