程序法是指 为了保障实体权利和义务的实现而制定的关于程序方面的法律。它主要包括诉讼程序法律（如刑事诉讼法、民事诉讼法和行政诉讼法）以及非诉讼程序法（如立法程序法、选举规则、议事规则等）。
程序法的意义在于确保实体法所规定的权利义务关系得以正确实施。通过规定一系列程序，程序法为权利和职权的实现或行使，以及义务和责任的履行提供了明确的指导。程序法不仅包括审判程序，还涵盖行政程序、立法程序等多种类型。
总结来说，程序法是与实体法相对应的一个概念，它关注如何通过一系列程序来实现和保障法律所规定的权利和义务，是正确实施实体法的保障。
