A relation schema R is said to be in 4NF if for every Multivalued dependency X --> Y that holds over R, one of following is true

► X is subset or equal to (or) XY = R.

► X is a super key.