进一步讨论了广义三角模和广义剩余蕴涵的对应性质，完善和修正了过去已有的一些定理结论，证明广义三角模和广义剩余蕴涵两者之间存在着两大类的对应关系，一类是可以构成伴随对的，而另一类则不能构成伴随对。