同じ種類の対象\(\alpha \)と\(\beta \)が定義により等しいことを\(\alpha \equiv \beta \)と書く。