Исследование бесконечно убывающих цепочек подсистем: математические модели