- <td class="snns top italic green">equivalence for closures on referred entries</td>
- <td class="snns top green">ffeq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )</td>
- <td class="ssnn top green">ffeq_freq</td>
+ <td class="snns top italic green">degree-based equivalence for closures on referred entries</td>
+ <td class="snns top green">ffdeq ( ⦃?,?,?⦄ ≡[?,?] ⦃?,?,?⦄ )</td>
+ <td class="ssnn top green">ffdeq_fqup ffdeq_ffdeq</td>