So, I know that in algebra a field is a set with two operations that obey certain rules. One of them is that those operations are closed over that set. Is there a generalisation of the notion of the field where you can have, for instance, two sets, addition operation takes two elements of set A and produces an element of set B, multiplication operation does the opposite?