arithmetic progression
colour-focused
combinatorial line
cofinite filter
column property
d-point parameter set
Ramsey
filter
focused
homothetic copy
(m,p,c)-set
proof by compactness
partition regular
principal
simplex
spherical
ultrafilter