Scott-open
词源说明
Named after the mathematician Dana Scott.
释义
形容词adjective
- 1(mathematics) 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.