圏論の等式について
A=B ⇔
(\forall a \colon A,a \in B)\wedge (\forall b \colon B, b \in A)
A\subseteq B \wedge B \subseteq A
写像F,G\colon A→B
F=G ⇔ \forall a\colon A,\ a.F =a.G
F,G\colon A×B → \mathbb{B}
\forall a\colon A,b \colon B,\ (a,b).F = (a,b).G
F = \left\lang\mathrm{ B.Rel }\colon A,B;\operatorname{graph}F\right\rang
G = \left\lang\mathrm{ B.Rel }\colon A,B;\operatorname{graph} G \right\rang
F =G
考え中