  We consider sentence-definable and diagram-definable subfamilies of given
families of theories, calculi for these subfamilies, as well dynamics and
characteristics of these subfamilies with respect to rank and degree.
