I think the usual name is "overlay". At least, that's what Tim Gowers called the...

		moyix on Feb 12, 2025 \| parent \| context \| favorite \| on: Automated Capability Discovery via Foundation Mode... I think the usual name is "overlay". At least, that's what Tim Gowers called the one he started :) https://gowers.wordpress.com/2015/09/10/discrete-analysis-an...