► Every dependency in F has a single attribute for its right hand side.

► It cannot replace any dependency X -->A in F with a dependency Y--> A where Y is a proper subset of X and still have a set of dependency that is equivalent to F.

► We cannot remove any dependency from F and still have set of dependency that is equivalent to F.