第一步:x=a,a->bc令x=abc
第二步:a-bc,b->e,令x=abce
第三步:a->bc,e->cf,b->e,令x=abcef,此时在F中已经没有左边包含在abcef中的属性,结束.
x=a的闭包是abcef