A sequence of pairs of rational functions of several variables , , is called a Bailey pair provided that for each
If is a Bailey pair, then
If is a Bailey pair, then so is , where
When (17.12.5) is iterated the resulting infinite sequence of Bailey pairs is called a Bailey Chain.
The Bailey pair that implies the Rogers–Ramanujan identities §17.2(vi) is: