Modify unionWeak, intersectionWeak and isFull
Modified EQ operation