Redefined Submultiset-based Multiset Ordering via Grid

We present a grid form of the Jouannaud-Lescanne submultiset-based multiset ordering. A flexible definition of the multiset ordering is hereby presented. The grid approach has been used？in this paper to prove some assertions. Our such result is the submultiset-based pair-wise equality theorem for multisets