【定義】（順序としての稠密性）全順序集合\(Y\)とその部分集合\(X\)について、\(a 【定義】（位相としての稠密性）位相空間\(Y\)の部分集合\(X\)が、任意の空でない\(Y\)の開集合と交わるとき、「\(X\)は\(Y\)において稠密である」という。この条件は下のい…