Boolean relation theory