Forcing algebra/Linear equation/Introduction/Section