Definition
(Dense)
.
D
⊆
ℙ
is
dense
if
∀
p
∈
T
O
D
O
.