Bir ilingesel uzayda (?) koşullarım, gerçekleyen X,Y boş olmayan açık kümeleri var olacak biçimde A altkümesi.