Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Scott-closed

You are here: irt.org | FOLDOC | Scott-closed

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)

Nearby terms: SCOPE « scope « Scorpion « Scott-closed » Scott domain » SCPI » SCPI Consortium

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb