0 forcing | Definition of forcing