菱形定义判定性质几何语言有哪些