संस्‍कृतशब्‍दकोशः

Monier–Williams

व्याप्तिनिश्चय — {niścaya} m. (in logic) the ascertainment of pervading inherence or universal concomitance MW