反射律 対称律 推移律 例題