Definition (Forcing). $(\mathbb{P},\le ,{𝟙}_{})$ is called a forcing poset or forcing if it is a partial order and ${𝟙}_{}\in \mathbb{P}$ and ${𝟙}_{}$ is the largest element. Elements of $\mathbb{P}$ are called condition.