Birli çekirdek açık önerme ya da yalınç bileşenleri birli çekirdek açık önermeler olan birli açık önerme.