Microeconomics vs macroeconomics compares individual choices and markets with economy-wide outcomes such as GDP, inflation, unemployment, growth, and policy.
Existence of competitive equilibrium explains how fixed point logic proves that market-clearing prices can exist under suitable general equilibrium assumptions.