subtriangularity

not defined yet