necessary condition

condition that has to be fulfilled for another statement to hold

카테고리: