Logic table of supersets