順序対が与えられたとき、「の第一成分がである」という性質は