OneIdentity is an attribute that can be assigned to a symbol f to indicate that f[x], f[f[x]], etc. are all equivalent to x for the purpose of pattern matching.
Patterns stand for classes of expressions. They contain pattern objects that represent sets of possible expressions. Pattern objects. When several pattern objects with the ...
HoldAllComplete is an attribute which specifies that all arguments to a function are not to be modified or looked at in any way in the process of evaluation.
HoldAll
(Built-in Mathematica Symbol) HoldAll is an attribute which specifies that all arguments to a function are to be maintained in an unevaluated form.
Flat
(Built-in Mathematica Symbol) Flat is an attribute that can be assigned to a symbol f to indicate that all expressions involving nested functions f should be flattened out. This property is accounted for ...
Properties is an option that allows specification of properties to objects and items of objects.
PropertyList[{obj, item}] lists the properties available for item in obj.
Property[item, name -> value] associates the property name -> value with item.
RemoveProperty[{obj, item}] removes all properties associated with item in obj.RemoveProperty[{obj, item}, name] removes the property name associated with item in obj.
SetProperty[{obj, item}, name -> value] sets the property name -> value for item in obj.