程序法是正确实施实体法的保障，审判活动则是实体法和程序法的综合运用。作为实体法的对称，不能简单地把程序法与诉讼法或者审判法相等同，因为程序法是一个大概念，既包括行政程序法、立法程序法和选举规则、议事规则等非诉讼程序法，也包括行政诉讼法、刑事诉讼法、民事诉讼法等。
法理学在研究法律和法律现象的过程中，依据不同的标准，将法律分为不同的种类。根据法律规定内容的不同来进行划分，可以分为实体法与程序法。
实体法是规定和确认权利和义务以及职权和责任为主要内容的法律，如宪法、行政法、民法、商法、刑法等等。而程序法是规定以保证权利和职权得以实现或行使，义务和责任得以履行的有关程序为主要内容的法律，如行政诉讼法、民事诉讼法、刑事诉讼法、立法程序法等等。
程序法是规定以保证权利和职权得以实现或行使，义务和责任得以履行的有关程序为主要内容的法律，是正确实施实体法的保障。审判活动则是实体法和程序法的综合运用。作为实体法的对称，不能简单地把程序法与诉讼法或者审判法相等同，因为程序法是一个大概念，既包括行政程序法、立法程序法和选举规则、议事规则等非诉讼程序法，也包括行政诉讼法、刑事诉讼法、民事诉讼法等。