Definition:Truth Set