Ověření, že současný stav objektu splňuje programátor definované výchozí vlastnosti své třídy.