I think you could also argue that "cap" is a monotone function by duality with "cup".