The substantial independence number for the strong product of two graphs. (3rd March 2016)