S(S ಮತ್ತು ಜಿ 2 :S(S ಇವು ಎರಡು ಚಿತ್ರಣಗಳಾಗಿದ್ದರೆ S ನ ಎಲ್ಲ s ಗಳಿಗೂ (ಜಿ1 ಜಿ2) (ss) = ಜಿ1 (ಜಿ 2 (ss)) ಎಂದು ವ್ಯಾಖ್ಯಿಸಿದರೆ (ಜಿ 1 ಜಿ 2 ) (ss) ಎಂಬುದೂ S ನಲ್ಲೇ ಇರುವುದರಿಂದ ಜಿ1 ಜಿ2 ಸಹ S ನಿಂದ Sಗೆ ಹೊರಡುವ ಒಂದು ಚಿತ್ರಣವೇ. ಇದನ್ನು ಜಿ1 ಮತ್ತು ಜಿ2 ರ ಸಂಯೋಜನೆ (ಕಾಂಪೊಸಿಷನ್) ಎಂದು ಹೇಳುತ್ತೇವೆ. 
ಪರ್ಯಾಪ್ತ ಮತ್ತು ಅಪರ್ಯಾಪ್ತ ಗಣಗಳು : ಟಿ ಧನ ಪೂರ್ಣಾಂಕವಾಗಿದ್ದು, ಊಟಿ ಎಂಬುದು (1,2,3, ..., ಟಿ( ಎಂಬ ಗಣವಾಗಿರಲಿ. ಈಗ S ಒಂದು ಗಣವಾಗಿದ್ದು, S ಮತ್ತು ಊಟಿ ಗಳ ನಡುವೆ ಒಂದು ದ್ವೈವ ಚಿತ್ರಣವನ್ನು ನಿರ್ಮಿಸಬಹುದಾದರೆ, Sನ್ನು ಪರ್ಯಾಪ್ತ (ಫೈನೈಟ್) ಗಣವೆನ್ನುತ್ತೇವೆ. ಅದರ ಅಂಶಾಂಖ (ಆರ್ಡರ್) ( ಎಂದೂ ಎನ್ನುತ್ತೇವೆ. S ಗಣವನ್ನು ಯಾವ ಊಟಿ ನೊಂದಿಗೂ ದ್ವೈಚಿತ್ರಣವೊಂದರ ಮೂಲಕ ಸಂಬಂಧಿಸಲಾಗದೇ ಹೋದರೆ, ಅದು ಅಪರ್ಯಾಪ್ತ ಗಣವೆನ್ನಿಸುವುದು.ಕಾರ್ಟೀಸಿಯನ್ ಗುಣಲಬ್ಧಗಳು : S, ಖಿ ಗಳು ಎರಡು ದತ್ತಗಣಗಳಾದರೆ, (s,ಣ), s ( S, ಣ ( ಖಿಎಂಬ ಎಲ್ಲ ಯುಗ್ಮಗಳ ಗಣಕ್ಕೆ S ಮತ್ತು ಖಿ ಗಳ ಕಾರ್ಟೀಸಿಯನ್ ಗುಣಲಬ್ಧವೆಂದು ಹೇಳುತ್ತೇವೆ. ಇದನ್ನು S(ಖಿ ಎಂದು ನಿರೂಪಿಸುತ್ತೇವೆ.

ದ್ವಿಗುಣ ಪರಿಕರ್ಮಗಳು
ಜಿ 1
ಭಾಗಾಕಾರ ವಲಯ
ಪರಿವರ್ತನೀಯ ಅರ್ಧಸಂಕುಲಗಳು