involutivity

To each such solution we associate a shelf (i.e., a self-distributive structure) which captures its properties: invertibility, involutivity, the structure (semi)group, etc.