یک همسایگی معین در فضای x، خانوادهی ? متشکل از همه ی زیرمجموعه های باز x است که برای هر x متعلق به x داشته باشیم x متعلق به یکی از اعضای ?. زیر مجموعه ی y از x را یک کرنل ? می نامیم، هرگاه اجتماع اعضای ? برای اعضای y برابر x شود. برای هر کلاس ( یا ویژگی) p، یک کلاس دوگان pd تعریف می کنیم که شامل همه ی فضاهای x است که برای هر همسایگی معین ? در x ، زیر فضای y از x موجود باشد که y متعلق به p و ...
