👉 In algebra, a semisatirically defined function is a function whose domain and codomain are both finite sets. This means that there exists an injection from the domain to its codomain, such that each element of the codomain maps onto exactly one element in the domain. For example, consider the following function: f(x) = x^2 This function has two domains: {x} and {y}. The function is semisatirically defined because there exists an injection