判断---定义判断—同构选项