Description: The finite intersections operator commutes with restriction. (Contributed by Mario Carneiro, 30-Aug-2015)