The 'tension of an X/Y is a function from appropriate 'tensions for members of to appropriate 'tensions for members of X; if a is an X/Y with 'tension A and is a with 'tension, then the result of combining a with ft is an with 'tension A(B).