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 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
Joseph C. Osborn