Scott-open
tính từ (adjective)
Nghĩa chính
- Của tập con O của tập được sắp thứ tự một phần P: sao cho nó là tập trên và không thể truy cập được bằng các phép nối có hướng, tức là tất cả các tập có hướng D có giá trị tối đa trong O đều có giao khác trống với Otính từkhông so sánh (not comparable)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.