_ [ , ] composed operation

1) If { [ A = ( a b ) , B = ( c d ) ] } ( A _ B ) = ( a b ) ( c d )

2) ( a b ) ( c d ) = ( a c ) ( a d ) ( b c ) ( b d )