Yes, if you want a two-sorted theory, then you can make a boolean type and lift all relations to operations.
That’s not the typical use of the word “operation” in model theory, however.
Yes, if you want a two-sorted theory, then you can make a boolean type and lift all relations to operations.
That’s not the typical use of the word “operation” in model theory, however.