Inclusion Property and Belady's Anomaly

    At any time, the set of pages with n frames
    is a subset of the set of pages for n+1 frames

Thrashing

 
The Working Set Model