Predefinição:WdsetEq

{{{1}}} = { ∀{{{2}}} ∈ InstancesOf({{{3}}}) }