A small-gain theorem in the formulation of barrier function is developed this work for safety verification interconnected systems. This result helpful to verify input-to-state (ISSf) systems from information encoded individual ISSf-barrier functions. Also, it can be used obtain a set higher dimensional space sets two lower spaces.