this mathematical function usually derives in the set theory