- Free Documents
... de nitional equality is respected by the former. introduction. Dependent function space The dependent function space also called dependent product or type corresponds to the settheoretic notion of cartesian product over a family of sets iI Bi which has as elements functions mapping an index i to an ...
... de nitional equality is respected by the former. introduction. Dependent function space The dependent function space also called dependent product or type corresponds to the settheoretic notion of cartesian product over a family of sets iI Bi which has as elements functions mapping an index i to an ...
The same paper as word document
... that we denote by L, is said that it is separating iff for any two elements x,yL with x ≠y there is a congruence Θ such that x≠y mod. Remark 16: If the lattice L has minimum, that we denote by 0, then as it is known to every congruence corresponds an ideal that we denote by Ι, which is the eq ...
... that we denote by L, is said that it is separating iff for any two elements x,yL with x ≠y there is a congruence Θ such that x≠y mod. Remark 16: If the lattice L has minimum, that we denote by 0, then as it is known to every congruence corresponds an ideal that we denote by Ι, which is the eq ...