Identities
Recurrence identities
Consecutive neighbors
Distant neighbors
Increasing
Decreasing
Functional identities
Relations between contiguous functions