| Higher-order logic is the union of first-, second-, third-, ..., nth-order logic; i.e., higher-order logic admits quantification over sets that are nested arbitrarily deeply. | Логика высшего порядка является объединением логики первого, второго, третьего и т.д. порядков; иначе говоря, логика высшего порядка допускает высказывания над множествами произвольной глубины вложенности. |
| Nested level on annotation elements' ' from namespace' ' for generic type' ' must be in increasing order. | Уровень вложенности элементов пометок из пространства имен для базового типа должен располагаться в порядке возрастания. |
| Unix also popularized the hierarchical file system with arbitrarily nested subdirectories, originally introduced by Multics. | Unix популяризовала предложенную в Multics идею иерархической файловой системы с произвольной глубиной вложенности. |
| A set of intervals is nested if, for every two intervals in the set, either the two are disjoint or one contains the other. | Множество промежутков имеет свойство вложенности, если для любых двух промежутков из множества они либо не пересекаются, либо один из них содержится в другом. |
| Nested regions, in their turn, may include regions of deeper nesting levels. | Вложенные регионы могут в свою очередь включать регионы более глубокого уровня вложенности. |
| This is a significant difference in many domains: for example, hand-written source code has an effectively constant expression nesting depth independent of the length of the program-expressions nested beyond a certain depth tend to get refactored. | Это существенный прирост во многих областях: например, программный код, написанный человеком, как правило имеет практически константную глубину вложенности независимо от длины программы - выражения с глубиной свыше некоторой величины обычно подвергаются рефакторингу. |