Stream calculus is a mathematical framework used to model and analyze infinite data streams by viewing them as streams of data elements rather than sequences. It provides a robust way to reason about operations on streams that can be applied to various domains such as computer science, particularly in functional programming and systems theory.