Changes between Initial Version and Version 1 of Ticket #10391, comment 38


Ignore:
Timestamp:
2019-05-14T13:21:31+02:00 (6 years ago)
Author:
qeef

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #10391, comment 38

    initial v1  
    1919
    2020This is the case of my confusion with this operator, I would say. I agree with two operators, therefore. I would just propose a little bit different names:
    21 - ''Is subset of'' operator `⊂`.
    22 - ''Is inside of'' operator `∈`.
     21- ''Is subset of'' operator `⊂` (irreflexive, asymmetric).
     22- ''Is inside of'' operator `∈` (reflexive, antisymmetric, and transitive).
    2323
    2424> I think that we need two separate operators for that: