Then, since the cores are equivalent, there is a containment mapping from one to the other, i.e., ... X; Y/ :- r.X;Y/;r.Y;X/;r.X;X/: The core of q is q.
確定! 回上一頁