Definition:Dense Subset