Tvrzení, Definice