离职的正式员工是包括合同工的。以下从不同角度为你详细分析：

法律定义角度

从法律层面来看，正式员工和合同工并非相互排斥的概念。正式员工通常指的是与企业建立了正式劳动关系的员工，他们享有企业正式的福利待遇、工作保障等。而合同工，顾名思义，是指与企业签订了劳动合同的员工。在我国劳动法律体系中，劳动合同是确立劳动关系、明确双方权利和义务的协议。因此，只要员工与企业签订了劳动合同，并且该合同是合法有效的，那么该员工就是企业的正式员工，也即合同工。换句话说，合同工是正式员工的一种表现形式，二者在法律地位上是等同的。

劳动关系角度

从劳动关系的角度来看，无论是所谓的“正式员工”还是“合同工”，只要他们与企业建立了劳动关系，并且这种关系是通过签订劳动合同来确立的，那么他们就都受到劳动法的保护。这意味着，在离职时，无论是正式员工还是合同工，都享有相同的权益，如经济补偿、社会保险等。企业不能因为员工是合同工就剥夺其应有的权益，否则将构成违法行为。

实际操作角度

在实际操作中，有些企业可能会为了管理方便或出于其他考虑，对员工进行分类管理，如将员工分为正式员工、试用期员工、临时工等。然而，这种分类并不改变员工与企业之间的劳动关系性质。只要员工与企业签订了劳动合同，并且合同中明确规定了双方的权利和义务，那么该员工就是企业的正式员工（合同工）。在离职时，企业应当按照劳动合同的约定和相关法律法规的规定，为员工办理离职手续，并支付相应的经济补偿。

特殊情况说明

当然，也存在一些特殊情况。例如，有些企业可能会与员工签订非全日制劳动合同或以完成一定工作任务为期限的劳动合同。这些合同虽然与传统的全日制劳动合同有所不同，但同样受到劳动法的保护。在这些情况下，员工同样属于企业的正式员工（合同工）范畴，只是在工作性质、工作时间、工资支付等方面可能有所不同。在离职时，企业也应当按照相关法律法规的规定和劳动合同的约定，为员工办理离职手续。

总结与建议：离职的正式员工是包括合同工的。无论是从法律定义、劳动关系还是实际操作的角度来看，合同工都是正式员工的一种表现形式。因此，在离职时，合同工享有与正式员工相同的权益。如果你在离职过程中遇到任何问题或权益受到侵害，可以直接向我咨询，我会为你提供专业的法律帮助。