bijectively surrogatively commutatively suctorially functorially summatively transitively ejectively permutatively injectively