subalgebraic
not defined yet