开放对象代数

本文主要讨论了开放对象的代数操作及其性质，这些操作提供了开放对象理解消息和构造消息的基本手段，同时还定义了偏序关系〖＾ｂ，并在其上讨论了这些操作的单调性，特别是递归查询。