Three-variable statements of set-pairing