Luis Diaz - 2015-02-25

Sample:
Relation ∈ SETA ↔ SETB

It can not be initialized from the diagram like:
Relation := {}