【定理】1個のregsetは、2個の多重集合の順序対で表される。