伽罗瓦连接的三个基本性质及作用和特点介绍