nahromadenie viacerých slov rovnakého významu; v matematike pravdivý výraz; definícia kruhom, dôkaz dokazovaným