שולחן ערוך, אורח חיים ר״פ

תַּשְׁמִישׁ הַמִּטָּה מִתַּעֲנוּגֵי שַׁבָּת הוּא, לְפִיכָךְ עוֹנַת תַּלְמִידֵי חֲכָמִים הַבְּרִיאִים מִלֵּיל שַׁבָּת לְלֵיל שַׁבָּת.

מֻתָּר לִבְעֹל לְכַתְּחִלָּה בְּתוּלָה בְּשַׁבָּת, וְאֵין בּוֹ מִשּׁוּם חוֹבֵל וְלֹא מִשּׁוּם צַעַר לָהּ.