Under inclusion and over inclusion