粗糙集

对于集合A={a1,a2,a3,a4}

Color={red，blue}

Size={big，small}

A/Color={{a1,a2},{a3.a4}}

A/Size={{a1},{a2,a3,a4}}

1.知识：对一个集合的划分。

知识库：集合的子集，按某种划分出来的子集+这些子集的交并。

2.对某个集合来说

下近似集：R(X)=maxU{Y∈U/R,Y⊆X}

上近似集：R(X)=minU{Y∈U/R,Y∩X≠∅}

论域U上任意一个子集X，下近似apr=上近似apr时，X是可定义的，否则X是不可定义的，这时称X是粗糙集。