永恒的数学
开放获取

抽象的

关系和模态运算符

金永灿

我们证明了自反、传递、对称关系可以由模态、必然性、充分性和余充分性算子导出。我们举出他们的例子。