二つの写像との相等は、集合として同一であるということ、すなわち