実数直線やアレフーなどの無限集合上の糸且合せ論