$ FD(ω) $ dicht in $ \ mathcal {P} _s $ einbetten