:: deftheorem Def11 defines composable CAT_6:def 11 :
for C being CategoryStr holds
( C is composable iff ( C is left_composable & C is right_composable ) );