partial inclusion