What is an arithmetical structure comprising of a set of elements including an operation that joins any two elements to form a third element?