Herein, we mainly employ the fixed point theorem and Lax-Milgram theorem in functional analysis to prove the existence and uniqueness of generalized and mixed finite element (MFE) solutions for two-dimensional steady Boussinesq equation. Thus, we can fill in the gap of research for the steady Boussinesq equation since the existing studies for the equation are assumed the existence and uniqueness of generalized solution without providing proof.
