the operation of determining if a condition that is supposed to exist does,in fact,exist

• 确定一个设想的条件是否实际上存在的操作