necessary condition

condition that has to be fulfilled for another statement to hold