关系实验台 binary relation lab

在 n×n 网格里点击格子 (i, j) 切换 R 是否含有序对 <i, j>。工具实时判定五条性质、计算三种闭包，并联动画出有向图；若 R 是等价关系显示等价类，若是偏序画出哈斯图。