图中跟（BC）+＝｛BCDE｝一样吗？ 那个加号是闭包

img

其实我盲猜才不一样，图中的我猜类似一笛卡尔积那种 哈哈哈