الـ"شنغيويه غ" هي بنية جبرية تجمع بين شبكة مرتبة وبنى أحادية ثنائية الجانب مزوَّدة بعمليتي بواقي يسار وبواقي يمين تحقق خاصية الاستئناف: حاصل ضرب عنصرين يقل عن أو يساوي عنصر ثالث إذا وفقط إذا كان أحدهما أقل من أو يساوي الباقي الأيسر أو الباقي الأيمن المناسب. بذلك تصبح الـ"شنغيويه غ" عبارة عن شبه مجموعة مرتبة مزودة بعمليتي التقاء وانصهار وعمليتي ضرب ووحدته وعمليتي بواقي تكوّنان وصلات غالوايس بين الترتيب والضرب. هذه الخاصية تتيح تحويل مسائل المقارنة إلى مسائل حلّية للبواقي وتربط البنية بمنطق غير كلاسيكي حيث تُفسَّر البواقي كعمليات استدلال أو شرطية؛ كما قد تكون متكاملة أو متناهية أو توزيعية في حالات خاصة، لكنها لا تفترض توزيعًا عامًا بالضرورة.