⚪ Formal property

=== a property, which can be formulated without reference to the meaning==