This function checks if a given Switch is bijective. This is done via checking that the order of the codomain is the same as the order of the domain of the function.
All elements in set after up/down operation.
checks that the number of unique words of length 2 in the set is the same after up/down operation as before.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.