for P being FinSequence-membered set holds
( {} in P * & P c= P * )