>>850
両方あわせて「等号公理」と呼ぶ流儀も標準的かと