abstraktor (lat.)
- lambda-operátor alebo operátor abstrakcie; je to jazykový výraz, ktor umožňuje pomocou výrokovej funkcie vytvoriť meno triedy - zložené meno triedy.