We need to abstractify the notion of a sandwich. In a hyperwich, we have the equivalent of the bread part of the sandwich and the equivalent of the filling of a sandwich. What should we call them?
A commutative sandwich is a sandwich such that the orientation of the hyperbread operands or the order of the hyperfilling operands does not alter the fundamental identity of the sandwich
A sandwich is defined by a linear combination of hyperbread and hyperfilling such that it is bounded by hyperbread and there exists at least one hyperfilling Therefore, a sandwich is a vector in the Hilbert space of linear foods