Bütünlüğü içinde incelenen bir küme, her kesiminin taşıdığı bir p özelliği taşırsa bu kümenin p'ye göre indirgenime özelliği.