https://profilpelajar.com/en/Predicate_(mathematics)