2.4 粗糙集的论域扩展