Def/Equivalence relation

 =Metadata=