A statement that is assumed to be true and from which a conclusion can be drawn
Take something as preexisting and given