| Type : Тип |
|
The kind of thing of which instances are under discussion. |
|
|
| Current_instance : Текущий экземпляр |
|
The instance of the Type that is currently under discussion. |
|
|
| Previous_context : Предыдущий контекст |
|
The situation in which another instance of the Type was encountered earlier. |
|
|
| Previous_instance : Предыдущий экземпляр |
|
An instance of the Type that was encountered previously and which is now compared for identity with the Current_instance. |
|
|
| Set_of_instances : Набор экземпляров |
|
The complete set of instances of the Type involved in the mentioned contexts. |
|
|
| Time : Время |
|
The Time when the Current_instance is the same or different. |
|
|
