:: deftheorem defines is_homogeneous_for RAMSEY_1:def 1 :
for X, Y being set
for H being Subset of X
for P being a_partition of the_subsets_of_card (Y,X) holds
( H is_homogeneous_for P iff ex p being Element of P st the_subsets_of_card (Y,H) c= p );