给出下列4个命题：
①；
②矩形都不是梯形；
③；
④任意互相垂直的两条直线的斜率之积等于－1。其中全称命题是           。