We prove a version of the fundamental theorems of Morse theory in the setting of finite partially ordered sets. By using ...