In the given paper we have considered some relation types often encountered in information systems, such as reflexivity, symmetry, anti-reflexivity, anti-symmetry. A task has been defined and solved as to the possibility of representing such predicates in a parametric form with the help of so called free predicate parameter. When substituting various predicates for this parameter we can obtain all predicates from a certain class described by a system of logic rules. The general forms of the classes being described can be used for more detailed investigating some relations in the information system.
information system, binary predicate, reflexivity, symmetry, anti-reflexivity, antisymmetry