V teorii grafů se termínem prázdný graf označuje takový graf, jenž nemá žádný vrchol ani hranu.
Graf G = ( V , E ) {\displaystyle G=(V,E)} je prázdný, pokud V = { ∅ ∅ --> } {\displaystyle V=\{\emptyset \}} a E = { ∅ ∅ --> } {\displaystyle E=\{\emptyset \}} . Tedy G = ( ∅ ∅ --> , ∅ ∅ --> ) {\displaystyle G=(\emptyset ,\emptyset )} .