Associative: Let T1ββL(V1β,V2β),T2ββL(V2β,V3β) and T3ββL(V3β,V4β). The composition T1ββT2ββT3β is associative, meaning (T1ββT2β)βT3β=T1ββ(T2ββT3β)
Identity: If TβL(V,W) then IWββT=T=TβIVβ
Distributivity: If S1ββL(V1β,V2β),T1β,T2ββL(V2β,V3β), and S2ββL(V3β,V4β) then (T1β+T2β)βS1β=T1ββS1β+T2ββS1βΒ andΒ S2ββ(T1β+T2β)=S2ββT1β+S2ββT2β