![]() sets of sequences over a set seq(S), set of injective sequences iseq(S), set of permutations perm(S).relational image r, relational composition (r1 r2), transitive closure closure1(r), identity relation over a set id(S), domain of a relation dom(r), its range ran(r), its inverse r~, relational overriding r1 s, size of a sequence size(s).membership x:S, not membership, x/:S, subset S T, set of partial functions S +-> T, set of total functions S -> T. ![]()
0 Comments
|
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
March 2023
Categories |