棱柱的定义是：有两个面互相平行，其余各面都是四边形，并且每相邻两个四边形的公共边都互相平行，由这些面所围成的几何体叫做棱柱。

因为上下两面平行，每相邻两个四边形的公共边都互相平行则侧面四边形上下边平行，侧面四边形为 平行四边形则，所以侧面四边形上下边相等两个底面全等。