18 | | ** node∈way iff way is an area and node is contained in the area. |
19 | | ** node∈node iff they have same coordinates. |
20 | | ** node∈relation iff relation is an area and node is in that area. |
21 | | ** way∈node iff way is an area has only nodes with coordinates of that node. (to discuss, but would be consistent, since an area that is a point is element of an other area that is a point at the same coordinate) |
22 | | ** way∈way iff both ways are areas and first area is completely contained in second area. |
23 | | ** way∈relation iff both are areas and first area is completely contained in second area. |
24 | | ** relation∈node iff relation is an area and has only nodes with coordinates of that node. |
25 | | ** relation∈way iff both are areas and first area is completely contained in second area. |
26 | | ** relation∈relation iff both are areas and first area is completely contained in second area. |
| 18 | * node∈way iff way is an area and node is contained in the area. |
| 19 | * node∈node iff they have same coordinates. |
| 20 | * node∈relation iff relation is an area and node is in that area. |
| 21 | * way∈node iff way is an area has only nodes with coordinates of that node. (to discuss, but would be consistent, since an area that is a point is element of an other area that is a point at the same coordinate) |
| 22 | * way∈way iff both ways are areas and first area is completely contained in second area. |
| 23 | * way∈relation iff both are areas and first area is completely contained in second area. |
| 24 | * relation∈node iff relation is an area and has only nodes with coordinates of that node. |
| 25 | * relation∈way iff both are areas and first area is completely contained in second area. |
| 26 | * relation∈relation iff both are areas and first area is completely contained in second area. |