程序法是规范司法活动行使以及诉讼当事人与政治代理人之间法律关系的规范和原则的总称。
司法管辖权 - 其研究涵盖了管辖权、法官权力、判决有效性要求以及两审终审制。
诉权 - 该权利的研究衍生出识别要素、行使条件,以及关联、诉讼系属、预防、既判力、共同诉讼和诉讼终止形式等现象。
抗辩(辩护) - 该权利展示了设定时效、缺席判决及诉讼提前裁决等现象的重要性。
程序 - 包含所有关于诉讼流程规则的信息性制度,而诉讼流程本身则是其可见的表现形式。
来源:程序法总论与认知程序,Carlos Eduardo Ferraz de Mattos Barroso 著,第11卷,第11版修订版,第18页



