This is an old revision of the document!
vlastnost vyjadřující, že prohlašovaná charakteristika antity je správná