对顶角相等是一种性质，而不是定义。在几何学中，对顶角指的是两个角度的角平分线相互垂直，且这两个角度位于两条相互垂直的直线上。如果两个对顶角的角度相等，即它们的角度大小相同，那么这两个角度就是对顶角相等。

对顶角相等的性质可以从垂直角的定义中推导得出。垂直角是指两条相互垂直的直线所形成的两个角度，这两个角度相等。如果将一条直线旋转一定角度，那么所形成的角度也将随之旋转相应的角度。因此，如果两条相互垂直的直线旋转相同的角度，那么形成的对顶角度也应该是相等的。

对顶角相等的性质在几何学中具有广泛的应用。例如，在三角形中，如果两个角度的对顶角相等，那么这两个角度所对的边长也应该相等。这个性质可以用来证明三角形是否相似。此外，对顶角相等的性质还可以用来解决许多其他几何问题，例如线段的垂直平分线和角平分线问题。

总之，对顶角相等是一种几何学中的性质，它描述了两条相互垂直的直线上的两个角度的角度大小相等。这个性质具有广泛的应用，在解决几何问题时非常有用。