Категорные операции
Точка
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
Нет аргументов
Одноточечная область.
final
- Login to post comments
1
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
Нет аргументов
Одноточечная область. Синоним: Точка.
final
- Login to post comments
тождественное отображение @Область
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
область (класс)
ex("ob",[])
Тождественное отображение для данной области. Синоним id(@Область).
id
- Login to post comments
1(@Область)
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
область
ex("ob",[])
Отображение Области в область Точка.
fin
- Login to post comments
id (@Область)
Submitted by admin on сб, 2007-04-21 20:00.функция (отображение)
ex("mor",[])
область (класс)
ex("ob",[])
Тождественное отображение для данной области.
id
- Login to post comments
ложь
Submitted by admin on сб, 2007-04-21 20:00.ex("mor",[])
w("ложь")
Ложь - выделенное отображение из Точки в область истин
false
- Login to post comments
область определения @Отображение
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область определения данного отображения. Синоним: dom(@f).
dom
- Login to post comments
dom(@f)
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область определения дла данного отображения.
dom
- Login to post comments
область значений @f
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область значений для данного отображения. Синоним: cod(@f).
cod
- Login to post comments
