Goldblatt-Thomastonの定理
https://ncatlab.org/nlab/show/Goldblatt-Thomason+theorem