Působnost, definice, vedlejší produkt