L-可定义集与L-粗糙概念格

对基于剩余格L的L-形式背景引入了L-可定义集概念,研究L-可定义集的性质及其与L-粗糙概念之间的关系。给出L-可定义集的刻画;得到常值L-集均为L-可定义集的若干等价条件;证明全体L-可定义集在L-集包含序下是相应L-幂集格及L-粗糙概念格的子完备格;给出全体L-可定义集恰为全体L-粗糙概念外延的一个充要条件。