Check if Set or FormalContext respects an ImplicationSet
set %respects% imps
A logical matrix with as many rows as
Sets and as many columns as implications in the
TRUE in element (i, j) of the result means that the i-th
Set respects the j-th implication of the
1 2 3 4
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.