Question: First Order Logic

I have a problem with a sentence that I have. I don't know whether it is a formatting problem or problem with the statement itself. I'm trying to say something like this (if it makes it less abstract, I'm trying to formally define a Sudoku puzzle). For any set S and function F that maps the ordinal set |S|^2 to |S|, there exists a set T which is a subset of S^|S||S||S| such that any element of T Tabc is equal to the empty set iff c !=F(a,b) First of all, theres a couple issues with this. |S| is the cardinal of S, but for convenience I also use it as an ordinal set. Second, as I started typing this I saw that I do not have the necessary statement for all Tabc which are members of T. How can I correctly input this statement into Maple? This post generated using the online HTML conversion tool Download the original worksheet
Please Wait...