2.5.11. Implies if swap arguments

Given two constraints ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ and ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ that both have two arguments, if constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}\left({\mathrm{𝚊𝚛𝚐}}_{1},{\mathrm{𝚊𝚛𝚐}}_{2}\right)$ holds then constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}\left({\mathrm{𝚊𝚛𝚐}}_{2},{\mathrm{𝚊𝚛𝚐}}_{1}\right)$ also holds.