A set s, a subset of D, is scott-closed if (1) If Y is a subset of s and Y is directed then lub Y is in s and (2) If y <= s in s then y is in s. I.e. a scott-closed set contains the lubs of its directed subsets and anything less than any element. (2) says that s is downward closed (or left closed). ("<=" is written in LaTeX as sqsubseteq). (1995-02-03)

style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ 2 ] [ = ] [ ai ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ bs ] [ ch ] [ cl ] [ closed set ] [ co ] [ con ] [ D ] [ do ] [ down ] [ du ] [ ec ] [ ed ] [ element ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ h ] [ hat ] [ hing ] [ hr ] [ id ] [ il ] [ in ] [ ir ] [ is ] [ it ] [ LaTeX ] [ less than ] [ Lex ] [ lose ] [ lu ] [ lub ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ ns ] [ ph ] [ query ] [ rc ] [ re ] [ s ] [ sa ] [ say ] [ se ] [ set ] [ sqsubseteq ] [ su ] [ subseteq ] [ T ] [ th ] [ tt ] [ X ] [ Y ] [ yt ]