A push is when a label is pushed onto the top of the label stack; a pop is when a label is removed from the top of the label stack.