Let be a Poset and 𝟙 be the maximal element. Then 𝟙 is called a forcing. A subset is said to be open if We can check that this makes a Topological space. This allows us to talk about Dense subsets of , in particular defined in Dense Below. Main Example Finite Function Forcing