$\alpha\cap\alpha = \alpha$