Scott-open

Today it means: Of a subset O of a partially ordered set P: such that it is an upper set and is inaccessible by directed joins, i.e. all directed sets D with supremum in O have non-empty intersection with O. Full definition →