• 2つの要素からなる集合非順序対 という