for f, g being Function
for A being set holds <:f,g:> | A = <:(f | A),g:>