For example, the preserved property could be justification, the foundational concept of intuitionistic logic.
На пример, зачуваното својство може да биде оправданост, темелниот концепт во интуиционистичката логика.