sufficient condition

condition that guarantees that another statement holds

Categories: