include as a necessary consequence

See: entail