sufficient condition

condition that guarantees that another statement holds

카테고리: