Expansion

Expandation refers to the function $$a \{\{1\}\} b$$.