Something that is true or well defined.