Pojęcie forsingu – praporządek używany w teorii forsingu i jej zastosowaniach.
Jeśli jest tak zwanym pojęciem forsingu, to elementy zbioru są nazywane warunkami, a dla liczb , takich że: , przyjmujemy, że mówimy, że warunek jest silniejszy niż warunek . Ponieważ część matematyków używa odwrotnej notacji (głównie Saharon Szelach i jego współpracownicy), to zwyczajowo przyjmuje się konwencję alfabetyczną: warunki silniejsze są oznaczane przez późniejsze litery alfabetu.
Gdy nie istnieje warunek silniejszy od każdego z dwóch warunków q oraz r, to mówimy, że te dwa warunki są sprzeczne.
W artykule o forsingu, teoria leżąca u jego podstaw jest rozwinięta w oparciu o zupełne algebry Boole’a, jednak często rozwija się tę teorię bazując całkowicie na pojęciach forsinguJohn P. Burgess: Forcing. [w:] Handbook of mathematical logic. [pod red.] Jona Barwise’a. „Studies in Logic and the Foundations of Mathematics”, Vol. 90. North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. ..
Związek z zupełnymi algebrami Boole’a Każde pojęcie forsingu jest bardzo blisko związane z pewną zupełną algebrą Boole’a. Aby przedstawić ten związek, musimy wprowadzić algebry Boole’a regularnie otwartych podzbiorów przestrzeni topologicznej.