可靠性-泛代数的解释

可靠性与完备性的帖子对该概念的认识还不够，这里再增加一张图。
仍感谢陈意云老师及其著作<<程序设计语言理论>>。