General counting formulae for factorized time correlation diagram analysis

In an effort to contribute to the goal of generalizing the mathematical technique of factorized time correlation (FTC) diagram analysis, counting formulae are derived under very general conditions. Counting formulae for the total number and number of unique FTC diagrams are obtained. Then formulae for several special cases are presented.