充分性： U X ●x y∈B U=Ux=UK x∈UJ x∈LU充分性： U x Vx Vx B { } x x U x U U x V   = =