Quantale同余相关论文