Examples of using Mathcal in English and their translations into Portuguese
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
because it is the least element of the poset D{\displaystyle{\mathcal{D.
which we will denote M′{\displaystyle{\mathcal{M.
the lattice of r.e. sets under inclusion is denoted E{\displaystyle{\mathcal{E.
An example of interpretation I{\displaystyle{\mathcal{I}}} of the language L described above is as follows.
each element in X is contained in at most one subset in S∗{\displaystyle{\mathcal{S.
The set I{\displaystyle{\mathcal{I}}} of all finite subsets of I{\displaystyle\mathbb{I.
that is this model does not have to satisfy T{\displaystyle{\mathcal{T.
Then△◻△{\displaystyle\triangle\square\triangle} would denote 101 under this interpretation of W{\displaystyle{\mathcal{W.
The set of numbers that are ordinal notations relative to X is denoted O X{\displaystyle{\mathcal{O}}^{X.
Let F{\displaystyle{\mathcal{F}}} be the σ-algebra generated by the X i{\displaystyle X_{i.
Let F{\displaystyle{\mathcal{F}}} denote the family of objects
reasoning in OIL use the S H I Q{\displaystyle{\mathcal{SHIQ}}} DL.
the model M{\displaystyle{\mathcal{M}}} is called a full model.
The direct limit can be defined in an arbitrary category C{\displaystyle{\mathcal{C}}} by means of a universal property.
We note that a direct system in a category C{\displaystyle{\mathcal{C}}} admits an alternative description in terms of functors.
Thereby can be omitted I{\displaystyle{\mathcal{I}}} and α in the definitions of interpreted formal language,
The relation"⊆{\displaystyle\subseteq\left}" is a partial order on the family of subsets of A{\displaystyle{\mathcal{A.
where D{\displaystyle{\mathcal{D}}} d is the relation of direct derivability.
for S{\displaystyle{\mathcal{S}}}?
It is known that D{\displaystyle{\mathcal{D}}} is not a lattice,