&Принадлежит
ТоРаньше чем)}).
(После =Перед).
Таким образом, одно событие происходит перед другим, если каждая
реализация в первом осуществляется раньше, чем каждая реализация в другом.
Каждое множество реализаций, не содержащее членов более ранних, чем
другие, есть момент. Оно может быть получено из функции, определенной на
реализациях и ставящей в соответствие каждой реализации момент, которому
она принадлежит:
(Момент =Между Реализациями {
Принадлежит Реализациям & Не
([] Принадлежит ПередПосле)}).
(Моменты =Момент).
При определении понятия "Момент" был введен новый технический прием.
Выражение
(МеждуПринадлежит)}являетсяпримером
определения, введенного не для того, чтобы описать новые понятия, а лишь для
более компактной записи выражения.
Два события одновременны, если моменты, порождаемые их реализациями,
совпадают. Таким образом:
(Одновременно = {Между События \ Момент:= Момент:}).
С помощью нескольких примитивных предикатов, не описанных здесь,
которые устанавливают определенный момент как исходный, другой момент как
отстоящий от первого на единицу времени (например, секунду) и момент,
определяющий полпути между любыми двумя другими моментами, можно ввести
метрику для времени. Тогда каждому моменту времени можно поставить в
соответствие определенное число - число секунд, на которое момент отстоит от
исходного. Каждому числу в таком случае можно поставить в соответствие
событие, являющееся объединением всех моментов, которым соответствует это
число. Класс секунды становится таким образом классом событий. Аналогично
можно ввести Дни, Месяцы, Годы и в необходимых случаях, такие классы, как
Первый день месяца, Январь и т.д.
Текст документа сверен по: