From professional translators, enterprises, web pages and freely available translation repositories.
if there exists no z in x such that x x and a < y which is impossible by hypothesis), nonempty (x is in a and y is in b) and open (in the order topology) and their union is x.
فإذا كان لا يوجد z في x، بحيث إن x x وa < y والتي تصبح مستحيلة حسب الفرضية)، وغير خالية (x توجد في a و y توجد فيb) ومفتوحة (في الترتيب الطوبولوجي) ووحدتها هي x.
