interpolatable intersective semilinear integral polylinear injective isarithmic polynomic transjective subsymplectic