Description: A composition law for substitution. Version of sbco2 with disjoint variable conditions, not requiring ax-13 , but ax-11 . (Contributed by NM, 30-Jun-1994) (Revised by Wolf Lammen, 29-Apr-2023)