View source for Separating lattice homomorphism


Let <math>\mathbb{L}</math> and <math>\mathbb{L}'</math> be two [[Lattice (order)|lattices]] with '''0''' and '''1'''. A [[Homomorphism|homomorphism]] from <math>\mathbb{L}</math> to <math>\mathbb{L}'</math> is called '''0,1'''-''separating'' iff <math>f^{-1}\{f(0)\}=\{0\}</math> (<math>f</math> separates '''0''') and <math>f^{-1}\{f(1)\}=\{1\}</math> (<math>f</math> separates 1).

[[Category:Abstract algebra]]



{{Unreferenced|date=2021}}
{{Sourceattribution|Separating lattice homomorphism|1}}