对顶角相等改为如果那么的形式是：如果两个角是对顶角，那么这两个角相等。对顶角即如果一个角的两边分别是另一个角两边的反向延长线，且这两个角有公共顶点，那么这两个角是对顶角。
对顶角的范围介于0度到180度之间，0度和180度不算在内。对顶角是具有特殊位置的两个角，对顶角相等反映的是两个角之间的大小关系。在几何学中，对顶角是两个角之间的一种位置关系。两条直线相交时会产生一个交点，并产生以这个交点为顶点的四个角。称其中不相邻的两个角互为对顶角。