Scott-open

短语

释义与例句

adj.
  1. 1.

    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.

    数学

词源

Named after the mathematician Dana Scott.

来源:wiktionary