Title: Theory / Unimportant / CS / Fundamental / Automata / Finite / Pin{ / A Automata and semigroups / 01 Preliminaries;
Tags: fromMath mathToDef

Name: An injective relation
Definition: A relation \(\tau\subseteq E\times F\) such that for all for all \(x,y\in E\), \(\tau(x)\cap\tau(y)=\emptyset\).
Page: 6
Chapter: I
Section: 4
Variables: \(E,F\) be sets and \(\tau: E\to F\) a relation.

Name: A surjective relation
Definition: A relation \(\tau\subseteq E\times F\), such that for all \(z\in F\) there exists \(x\in E\) such that \(\tau(x,z)\).
Page: 6
Chapter: I
Section: 4