Banaschewski Functions and Ring-Embeddings