Definition. Dense Subset [002D]

A subset is dense if every has an extension in .

It is dense above if every extension of has an extension in .