再审属于变更之诉（又称形成之诉）中的程序法上的变更之诉。以下是对此结论的详细解释：
一、变更之诉（形成之诉）的定义
变更之诉，又称形成之诉，是指当事人要求改变或者消灭某种民事法律关系的诉讼。这种诉讼类型涉及双方当事人之间现存的某种法律关系，如共有关系、婚姻关系等，这些关系可以基于一定的事实和行为而变更或者消灭。当双方当事人对某种法律关系是否保持存续发生了争议，并诉诸法院要求予以变更时，就构成了变更之诉。
二、变更之诉的分类
变更之诉可以分为实体上的变更之诉和程序上的变更之诉：
实体上的变更之诉：指当事人向法院提出的变更民事法律关系，产生实体效果的请求。例如，离婚诉讼的当事人要求解除婚姻关系，这会产生当事人之间因离婚判决而导致婚姻关系消灭的实体法后果。
程序上的变更之诉：指当事人提出的变更程序法律效果的请求。再审之诉就是程序法上的变更之诉的典型例子。在再审程序中，当事人请求法院对已经发生法律效力的判决、裁定进行重新审查，以改变或撤销原判决、裁定，这实际上是对原诉讼程序结果的变更。
三、再审作为变更之诉（形成之诉）的特殊性
再审程序是一种特殊的诉讼程序，它旨在纠正已经发生法律效力的判决、裁定中的错误。在再审程序中，当事人提出的再审申请，实际上是对原判决、裁定的一种挑战，要求法院重新审查并可能改变原判决、裁定的结果。这种请求符合变更之诉（形成之诉）的定义，即要求改变或者消灭某种已经存在的法律关系（在这里是原判决、裁定所确定的法律关系）。
四、再审与给付之诉、确认之诉的区别
与给付之诉的区别：给付之诉是指当事人请求法院判令对方履行一定民事义务的诉讼。再审之诉并不直接涉及对方履行义务的问题，而是关注原判决、裁定的正确性。
与确认之诉的区别：确认之诉是指当事人请求法院确认某种法律关系存在或不存在的诉讼。再审之诉则是对已经发生法律效力的判决、裁定的重新审查，其目的并非确认某种法律关系的存在与否，而是改变或撤销原判决、裁定。
建议：若您对再审程序或变更之诉（形成之诉）有进一步的疑问，或需要具体的法律帮助，请直接向我咨询。作为专业律师，我将根据您的具体情况，提供详尽的法律分析和建议。